1. <A> Computational Logic
المؤلف: \ Robert S. Boyer and J Strother Moore
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Automatic theorem proving.
رده :
E-Book
,
2. A computational logic
المؤلف: Boyer, Robert S., Robert S. Boyer and J Strother Moore
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Automatic theorem proving
رده :
QA
76
.
9
.
A96
B68
3. A computational logic
المؤلف: / Robert S. Boyer and J. Strother Moore
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving
رده :
QA
,
76
.
9
,.
A96
,
B68
